En hilsen til H. P. Hanssen
نویسندگان
چکیده
منابع مشابه
Odd E. Hanssen and the Hanssen method for measurement of single-nephron glomerular filtration rate.
In the middle of the twentieth century, the suspicion that deep and superficial nephrons might serve different functions created a demand for measurement of single-nephron glomerular filtration rate (SNGFR). Rather unexpectedly, the answer came from Odd E. Hanssen (1917-1964), a Norwegian physician working on his own in the Department of Pathological Anatomy, University of Oslo, with minimal su...
متن کاملDu TAL au TIL
position paper. Historically two types of NLP have been investigated: fully automated processing of language by machines (NLP) and autonomous processing of natural language by people, i.e. the human brain (psycholinguistics). We believe that there is room and need for another kind, INLP: interactive natural language processing. This intermediate approach starts from peoples’ needs, trying to br...
متن کاملDeductive Reasoning using TIL
Transparent Intensional Logic (TIL) is a highly expressive logical system apt for the logical analysis of natural language. It operates with a single procedural semantics for all kinds of logical-semantic context, whether extensional, intensional or hyper-intensional, while adhering to the compositionality principle throughout. The reason why we vote for a rich procedural semantics is this. A c...
متن کاملTIL and Logic Programming
The paper introduces a method of transition from TIL into Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive system of TIL. We specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language, and introduce the method of translation from TIL into Prolog. Since Prolog is less expressive than TIL, we have to build up...
متن کاملDeduction System for TIL-2010
The goal of this paper is to introduce a deductive system for Tichý’s Transparent Intensional Logic (TIL). Tichý defined a sequent calculus for pre-1988 TIL, that is TIL based on the simple theory of types. Thus we first briefly recapitulate the rules of this simple-type calculus. Then we describe the adjustments of the calculus so that it be applicable to hyperintensions within the ramified hi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sønderjydske Årbøger
سال: 1932
ISSN: 0106-4452
DOI: 10.7146/soenderjydskeaarboeger.v44i1.80876